21. Knowledge Engineering and Management
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Artificial intelligence -- Engineering applications -- Congresses,Intelligent agents (Computer software) -- Congresses,Systems engineering -- Congresses,هوش مصنوعی -- کاربردهای مهندسی -- کنگره‌ها,عوامل هوشمند (نرمافزار کامپیوتر) -- کنگره‌ها,مهندسی س‍ی‍س‍ت‍م ها -- کنگره‌ها
Classification :
E-Book
,
22. Knowledge Engineering and Semantic Web
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses,Semantic Web -- Congresses,Semantic Web,نرمافزار -- مهندسی -- کنگره‌ها,وب معناشناختی -- کنگره‌ها,وب معناشناختی
Classification :
E-Book
,
23. Languages, Design Methods, and Tools for Electronic System Design
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Software architecture -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها ,معماری نرمافزار -- کنگره‌ها
Classification :
E-Book
,
24. Languages, Design Methods, and Tools for Electronic System Design
Author: \ Franco Fummi, Robert Wille, Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره‌ها
Classification :
E-Book
,
25. Languages, design methods, and tools for electronic system design.
Author: \ Frank Oppenheimer , Julio Luis Medina Pasaje Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره ها
Classification :
QA
76
.
9
.
L325
2016
E-Book
,
26. Mathematical and Engineering Methods in Computer Science
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Congresses,Computer science -- Mathematics -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها
Classification :
E-Book
,
27. Mathematical and Engineering Methods in Computer Science
Author: \ Jan Kofroň , Tomáš Vojnar (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
Classification :
QA
75
.
5
.
M32
2016
E-Book
,
28. Model Checking Software
Author: \ Bernd Fischer, Jaco Geldenhuys (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer software -- Verification -- Congresses,SPIN (Computer file) -- Congresses.,نرمافزار -- راستی‌آزمایی -- کنگره ها
Classification :
QA
76
.
76
.
V47
I58
2015
E-Book
,
29. Multicore Software Engineering, Performance, and Tools
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses,Multiprocessors -- Congresses,Parallel programming (Computer science) -- Congresses,نرمافزار -- مهندسی -- کنگره‌ها,چندپردازنده‌ها -- کنگره‌ها,برنامه‌نویسی موازی -- کنگره‌ها
Classification :
E-Book
,
30. Perspectives of System Informatics
Author: \ Andrei Voronkov, Irina Virbitskaite (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها ,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
Classification :
QA
76
.
758
.
P47
2015
E-Book
,
31. Proceedings of 5th International Conference in Software Engineering for Defence Applications
Author: \ [Edited by] Paolo Ciancarini...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها
Classification :
E-Book
,
32. Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015)
Author: \ [Edited by] Radek Silhavy...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Congresses.,Artificial intelligence -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,هوش مصنوعی-- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
Classification :
QA
75
.
5
.
S62
2015
E-Book
,
33. Product-Focused Software Process Improvement
Author: \ [edited by] Pekka Abrahamsson...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Computer software -- Development -- Congresses,Computer software -- Development -- Management -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- تولید -- کنگره ها ,نرمافزار -- تولید -- مدیریت -- کنگره ها
Classification :
QA
76
.
758
.
P7
2015
E-Book
,
34. SOFSEM 2015
Author: \ [edited by] Giuseppe F. Italiano...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
Classification :
QA
75
.
5
.
S62
2015
E-Book
,
35. SOFSEM 2016
Author: \ Rūsiņš Mārtiņš Freivalds , Gregor Engels, Barbara Catania (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,کامپیوتر,a05,a05,Computer science -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
Classification :
QA
75
.
5
.
S62
2016
E-Book
,
36. Search-Based Software Engineering.
Author: \ Márcio Barros , Yvan Labiche (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها
Classification :
QA
76
.
758
.
S4
2015
E-Book
,
37. Software Composition
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Development -- Congresses,Software engineering -- Congresses,Computer science,نرمافزار -- تولید -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها,علوم کامپیوتر
Classification :
E-Book
,
38. Software Engineering.
Author: \ Bertrand Meyer , Martin Nordio (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Software engineering.,نرمافزار -- مهندسی-- کنگره‌ها ,مهندسی ن‍رم اف‍زار
Classification :
QA
76
.
758
.
S62
2015
E-Book
,
39. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Author: \ Roger Lee Editor
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,Artificial intelligence,نرمافزار,هوش مصنوعی,-- Congresses,-- Congresses,-- کنگره‌ها,-- کنگره‌ها, -- مهندسی,a03,a04,a03,a04
Classification :
E-Book
,
40. Software Engineering Research, Management and Applications
Author: \ Roger Lee Editor
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a03,a03,Computer software -- Development -- Congresses.,نرمافزار -- تولید -- کنگره ها
Classification :
E-Book
,
